(0
 (
  ("(x 6)" 3 53)
  ("(x 5)" 53 70)
  ("(x 4)" 70 81)
  ("(x 3)" 81 141)
  ("(x 2)" 141 152)
  ("(x 1)" 152 194)
  ("(x stable)" 4 30)
  ("(x up)" 30 92)
  ("(x stable)" 92 121)
  ("(x down)" 121 127)
  ("(x stable)" 127 128)
  ("(x up)" 128 167)
  ("(x stable)" 167 171)
  ("(x down)" 171 178)
  ("(x stable)" 178 191)
  ("(x up)" 191 194)
  ("(y 3)" 3 39)
  ("(y 4)" 39 43)
  ("(y 5)" 43 48)
  ("(y 6)" 48 75)
  ("(y 5)" 75 80)
  ("(y 4)" 80 85)
  ("(y 3)" 85 90)
  ("(y 2)" 90 118)
  ("(y 3)" 118 122)
  ("(y 4)" 122 126)
  ("(y 5)" 126 132)
  ("(y 6)" 132 150)
  ("(y 5)" 150 155)
  ("(y 4)" 155 158)
  ("(y 3)" 158 161)
  ("(y 2)" 161 165)
  ("(y 1)" 165 194)
  ("(y stable)" 4 30)
  ("(y up)" 30 31)
  ("(y stable)" 31 33)
  ("(y down)" 33 62)
  ("(y stable)" 62 64)
  ("(y up)" 64 101)
  ("(y stable)" 101 111)
  ("(y down)" 111 142)
  ("(y stable)" 142 143)
  ("(y up)" 143 182)
  ("(y stable)" 182 190)
  ("(y down)" 190 194)
 ))
(1
 (
  ("(x 6)" 3 51)
  ("(x 5)" 51 66)
  ("(x 4)" 66 75)
  ("(x 3)" 75 140)
  ("(x 2)" 140 150)
  ("(x 1)" 150 184)
  ("(x down)" 4 7)
  ("(x stable)" 7 22)
  ("(x up)" 22 87)
  ("(x stable)" 87 90)
  ("(x down)" 90 97)
  ("(x stable)" 97 109)
  ("(x down)" 109 119)
  ("(x stable)" 119 124)
  ("(x up)" 124 165)
  ("(x stable)" 165 184)
  ("(y 2)" 3 28)
  ("(y 3)" 28 32)
  ("(y 4)" 32 35)
  ("(y 5)" 35 39)
  ("(y 6)" 39 71)
  ("(y 5)" 71 76)
  ("(y 4)" 76 79)
  ("(y 3)" 79 83)
  ("(y 2)" 83 114)
  ("(y 3)" 114 118)
  ("(y 4)" 118 121)
  ("(y 5)" 121 129)
  ("(y 6)" 129 141)
  ("(y 5)" 141 150)
  ("(y 4)" 150 153)
  ("(y 3)" 153 157)
  ("(y 2)" 157 162)
  ("(y 1)" 162 184)
  ("(y up)" 4 7)
  ("(y stable)" 7 8)
  ("(y up)" 8 15)
  ("(y stable)" 15 18)
  ("(y down)" 18 57)
  ("(y stable)" 57 59)
  ("(y up)" 59 97)
  ("(y stable)" 97 105)
  ("(y down)" 105 136)
  ("(y stable)" 136 137)
  ("(y up)" 137 177)
  ("(y stable)" 177 181)
  ("(y down)" 181 184)
 ))
(2
 (
  ("(x 6)" 3 40)
  ("(x 5)" 40 65)
  ("(x 4)" 65 70)
  ("(x 3)" 70 117)
  ("(x 2)" 117 130)
  ("(x 1)" 130 156)
  ("(x stable)" 4 17)
  ("(x up)" 17 27)
  ("(x stable)" 27 32)
  ("(x up)" 32 54)
  ("(x stable)" 54 56)
  ("(x up)" 56 82)
  ("(x stable)" 82 106)
  ("(x down)" 106 109)
  ("(x stable)" 109 111)
  ("(x up)" 111 147)
  ("(x stable)" 147 153)
  ("(x up)" 153 156)
  ("(y 1)" 3 19)
  ("(y 2)" 19 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 33)
  ("(y 5)" 33 38)
  ("(y 6)" 38 65)
  ("(y 5)" 65 68)
  ("(y 4)" 68 72)
  ("(y 3)" 72 77)
  ("(y 2)" 77 89)
  ("(y 1)" 89 96)
  ("(y 2)" 96 104)
  ("(y 3)" 104 107)
  ("(y 4)" 107 110)
  ("(y 5)" 110 115)
  ("(y 6)" 115 128)
  ("(y 5)" 128 133)
  ("(y 4)" 133 136)
  ("(y 3)" 136 139)
  ("(y 2)" 139 142)
  ("(y 1)" 142 156)
  ("(y up)" 4 6)
  ("(y stable)" 6 17)
  ("(y down)" 17 51)
  ("(y stable)" 51 56)
  ("(y up)" 56 92)
  ("(y stable)" 92 95)
  ("(y down)" 95 122)
  ("(y stable)" 122 124)
  ("(y up)" 124 153)
  ("(y stable)" 153 155)
  ("(y down)" 155 156)
 ))
(3
 (
  ("(x 6)" 3 43)
  ("(x 5)" 43 69)
  ("(x 4)" 69 77)
  ("(x 3)" 77 129)
  ("(x 2)" 129 137)
  ("(x 1)" 137 166)
  ("(x stable)" 4 29)
  ("(x down)" 29 36)
  ("(x stable)" 36 37)
  ("(x up)" 37 53)
  ("(x stable)" 53 60)
  ("(x up)" 60 84)
  ("(x stable)" 84 116)
  ("(x up)" 116 150)
  ("(x stable)" 150 151)
  ("(x down)" 151 160)
  ("(x stable)" 160 163)
  ("(x up)" 163 166)
  ("(y 1)" 3 28)
  ("(y 2)" 28 33)
  ("(y 3)" 33 36)
  ("(y 4)" 36 39)
  ("(y 5)" 39 44)
  ("(y 6)" 44 67)
  ("(y 5)" 67 73)
  ("(y 4)" 73 76)
  ("(y 3)" 76 81)
  ("(y 2)" 81 108)
  ("(y 3)" 108 110)
  ("(y 4)" 110 113)
  ("(y 5)" 113 116)
  ("(y 6)" 116 138)
  ("(y 5)" 138 141)
  ("(y 4)" 141 144)
  ("(y 3)" 144 147)
  ("(y 2)" 147 152)
  ("(y 1)" 152 166)
  ("(y up)" 4 17)
  ("(y stable)" 17 23)
  ("(y down)" 23 54)
  ("(y stable)" 54 59)
  ("(y up)" 59 93)
  ("(y stable)" 93 101)
  ("(y down)" 101 129)
  ("(y stable)" 129 130)
  ("(y up)" 130 160)
  ("(y stable)" 160 164)
  ("(y down)" 164 166)
 ))
(4
 (
  ("(x 6)" 3 40)
  ("(x 5)" 40 53)
  ("(x 4)" 53 59)
  ("(x 3)" 59 86)
  ("(x 4)" 86 92)
  ("(x 3)" 92 102)
  ("(x 2)" 102 111)
  ("(x 1)" 111 138)
  ("(x stable)" 4 7)
  ("(x up)" 7 14)
  ("(x stable)" 14 15)
  ("(x down)" 15 27)
  ("(x stable)" 27 28)
  ("(x up)" 28 70)
  ("(x stable)" 70 78)
  ("(x down)" 78 89)
  ("(x stable)" 89 90)
  ("(x up)" 90 125)
  ("(x stable)" 125 133)
  ("(x up)" 133 138)
  ("(y 1)" 3 15)
  ("(y 2)" 15 19)
  ("(y 3)" 19 22)
  ("(y 4)" 22 24)
  ("(y 5)" 24 29)
  ("(y 6)" 29 52)
  ("(y 5)" 52 56)
  ("(y 4)" 56 59)
  ("(y 3)" 59 64)
  ("(y 2)" 64 83)
  ("(y 3)" 83 86)
  ("(y 4)" 86 89)
  ("(y 5)" 89 95)
  ("(y 6)" 95 107)
  ("(y 5)" 107 112)
  ("(y 4)" 112 115)
  ("(y 3)" 115 118)
  ("(y 2)" 118 121)
  ("(y 1)" 121 138)
  ("(y stable)" 4 7)
  ("(y down)" 7 40)
  ("(y stable)" 40 42)
  ("(y up)" 42 75)
  ("(y stable)" 75 77)
  ("(y down)" 77 101)
  ("(y stable)" 101 102)
  ("(y up)" 102 133)
  ("(y stable)" 133 138)
 ))
(5
 (
  ("(x 6)" 3 52)
  ("(x 5)" 52 63)
  ("(x 4)" 63 68)
  ("(x 3)" 68 73)
  ("(x 2)" 73 101)
  ("(x 3)" 101 117)
  ("(x 2)" 117 132)
  ("(x 1)" 132 157)
  ("(x down)" 4 8)
  ("(x stable)" 8 15)
  ("(x up)" 15 21)
  ("(x stable)" 21 22)
  ("(x down)" 22 30)
  ("(x stable)" 30 32)
  ("(x up)" 32 79)
  ("(x stable)" 79 97)
  ("(x down)" 97 108)
  ("(x up)" 108 146)
  ("(x stable)" 146 157)
  ("(y 1)" 3 21)
  ("(y 2)" 21 26)
  ("(y 3)" 26 29)
  ("(y 4)" 29 32)
  ("(y 5)" 32 37)
  ("(y 6)" 37 64)
  ("(y 5)" 64 68)
  ("(y 4)" 68 71)
  ("(y 3)" 71 75)
  ("(y 2)" 75 87)
  ("(y 1)" 87 93)
  ("(y 2)" 93 101)
  ("(y 3)" 101 104)
  ("(y 4)" 104 108)
  ("(y 5)" 108 117)
  ("(y 6)" 117 126)
  ("(y 5)" 126 132)
  ("(y 4)" 132 135)
  ("(y 3)" 135 138)
  ("(y 2)" 138 142)
  ("(y 1)" 142 157)
  ("(y up)" 4 8)
  ("(y stable)" 8 17)
  ("(y down)" 17 51)
  ("(y stable)" 51 54)
  ("(y up)" 54 88)
  ("(y stable)" 88 93)
  ("(y down)" 93 122)
  ("(y stable)" 122 123)
  ("(y up)" 123 152)
  ("(y stable)" 152 154)
  ("(y down)" 154 157)
 ))
(6
 (
  ("(x 6)" 3 46)
  ("(x 5)" 46 64)
  ("(x 4)" 64 70)
  ("(x 3)" 70 115)
  ("(x 4)" 115 117)
  ("(x 3)" 117 133)
  ("(x 2)" 133 142)
  ("(x 1)" 142 175)
  ("(x stable)" 4 20)
  ("(x down)" 20 32)
  ("(x stable)" 32 33)
  ("(x up)" 33 82)
  ("(x stable)" 82 100)
  ("(x down)" 100 116)
  ("(x stable)" 116 117)
  ("(x up)" 117 159)
  ("(x stable)" 159 170)
  ("(x up)" 170 175)
  ("(y 1)" 3 22)
  ("(y 2)" 22 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 33)
  ("(y 5)" 33 39)
  ("(y 6)" 39 64)
  ("(y 5)" 64 68)
  ("(y 4)" 68 72)
  ("(y 3)" 72 75)
  ("(y 2)" 75 85)
  ("(y 1)" 85 103)
  ("(y 2)" 103 108)
  ("(y 3)" 108 111)
  ("(y 4)" 111 114)
  ("(y 5)" 114 119)
  ("(y 6)" 119 142)
  ("(y 5)" 142 146)
  ("(y 4)" 146 149)
  ("(y 3)" 149 153)
  ("(y 2)" 153 162)
  ("(y 1)" 162 175)
  ("(y stable)" 4 16)
  ("(y down)" 16 52)
  ("(y stable)" 52 56)
  ("(y up)" 56 95)
  ("(y stable)" 95 98)
  ("(y down)" 98 131)
  ("(y stable)" 131 133)
  ("(y up)" 133 170)
  ("(y stable)" 170 175)
 ))
(7
 (
  ("(x 6)" 3 49)
  ("(x 5)" 49 58)
  ("(x 4)" 58 63)
  ("(x 3)" 63 69)
  ("(x 2)" 69 91)
  ("(x 3)" 91 108)
  ("(x 2)" 108 119)
  ("(x 1)" 119 141)
  ("(x down)" 4 11)
  ("(x stable)" 11 25)
  ("(x up)" 25 37)
  ("(x stable)" 37 43)
  ("(x up)" 43 76)
  ("(x stable)" 76 85)
  ("(x down)" 85 98)
  ("(x stable)" 98 100)
  ("(x up)" 100 133)
  ("(x stable)" 133 140)
  ("(x up)" 140 141)
  ("(y 1)" 3 16)
  ("(y 2)" 16 22)
  ("(y 3)" 22 26)
  ("(y 4)" 26 29)
  ("(y 5)" 29 33)
  ("(y 6)" 33 59)
  ("(y 5)" 59 63)
  ("(y 4)" 63 66)
  ("(y 3)" 66 69)
  ("(y 2)" 69 76)
  ("(y 1)" 76 87)
  ("(y 2)" 87 93)
  ("(y 3)" 93 96)
  ("(y 4)" 96 99)
  ("(y 5)" 99 106)
  ("(y 6)" 106 115)
  ("(y 5)" 115 120)
  ("(y 4)" 120 123)
  ("(y 3)" 123 126)
  ("(y 2)" 126 129)
  ("(y 1)" 129 141)
  ("(y stable)" 4 6)
  ("(y down)" 6 46)
  ("(y stable)" 46 48)
  ("(y up)" 48 81)
  ("(y stable)" 81 84)
  ("(y down)" 84 110)
  ("(y stable)" 110 112)
  ("(y up)" 112 141)
 ))
(8
 (
  ("(x 6)" 3 33)
  ("(x 5)" 33 46)
  ("(x 4)" 46 55)
  ("(x 3)" 55 88)
  ("(x 2)" 88 98)
  ("(x 1)" 98 123)
  ("(x stable)" 4 16)
  ("(x up)" 16 70)
  ("(x stable)" 70 72)
  ("(x down)" 72 79)
  ("(x stable)" 79 80)
  ("(x up)" 80 114)
  ("(x stable)" 114 115)
  ("(x down)" 115 122)
  ("(x stable)" 122 123)
  ("(y 1)" 3 8)
  ("(y 2)" 8 16)
  ("(y 3)" 16 19)
  ("(y 4)" 19 22)
  ("(y 5)" 22 26)
  ("(y 6)" 26 47)
  ("(y 5)" 47 50)
  ("(y 4)" 50 53)
  ("(y 3)" 53 58)
  ("(y 2)" 58 76)
  ("(y 3)" 76 79)
  ("(y 4)" 79 82)
  ("(y 5)" 82 88)
  ("(y 6)" 88 93)
  ("(y 5)" 93 100)
  ("(y 4)" 100 103)
  ("(y 3)" 103 105)
  ("(y 2)" 105 108)
  ("(y 1)" 108 123)
  ("(y down)" 4 37)
  ("(y up)" 37 66)
  ("(y stable)" 66 70)
  ("(y down)" 70 91)
  ("(y up)" 91 123)
 ))
(9
 (
  ("(x 6)" 3 40)
  ("(x 5)" 40 49)
  ("(x 4)" 49 55)
  ("(x 3)" 55 88)
  ("(x 4)" 88 93)
  ("(x 3)" 93 99)
  ("(x 2)" 99 107)
  ("(x 1)" 107 135)
  ("(x down)" 4 7)
  ("(x stable)" 7 18)
  ("(x down)" 18 28)
  ("(x stable)" 28 30)
  ("(x up)" 30 64)
  ("(x stable)" 64 66)
  ("(x down)" 66 91)
  ("(x up)" 91 120)
  ("(x stable)" 120 126)
  ("(x down)" 126 133)
  ("(x stable)" 133 135)
  ("(y 1)" 3 24)
  ("(y 2)" 24 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 32)
  ("(y 5)" 32 36)
  ("(y 6)" 36 57)
  ("(y 5)" 57 61)
  ("(y 4)" 61 66)
  ("(y 3)" 66 72)
  ("(y 2)" 72 85)
  ("(y 3)" 85 89)
  ("(y 4)" 89 92)
  ("(y 5)" 92 97)
  ("(y 6)" 97 107)
  ("(y 5)" 107 112)
  ("(y 4)" 112 115)
  ("(y 3)" 115 118)
  ("(y 2)" 118 125)
  ("(y 1)" 125 135)
  ("(y up)" 4 9)
  ("(y stable)" 9 15)
  ("(y down)" 15 47)
  ("(y stable)" 47 48)
  ("(y up)" 48 78)
  ("(y stable)" 78 81)
  ("(y down)" 81 103)
  ("(y up)" 103 135)
 ))
(10
 (
  ("(x 6)" 3 42)
  ("(x 5)" 42 51)
  ("(x 4)" 51 59)
  ("(x 3)" 59 93)
  ("(x 4)" 93 100)
  ("(x 3)" 100 109)
  ("(x 2)" 109 120)
  ("(x 1)" 120 157)
  ("(x stable)" 4 19)
  ("(x down)" 19 29)
  ("(x stable)" 29 30)
  ("(x up)" 30 66)
  ("(x stable)" 66 67)
  ("(x down)" 67 74)
  ("(x stable)" 74 88)
  ("(x down)" 88 97)
  ("(x stable)" 97 98)
  ("(x up)" 98 133)
  ("(x stable)" 133 135)
  ("(x down)" 135 142)
  ("(x stable)" 142 148)
  ("(x down)" 148 155)
  ("(x stable)" 155 157)
  ("(y 1)" 3 21)
  ("(y 2)" 21 25)
  ("(y 3)" 25 27)
  ("(y 4)" 27 29)
  ("(y 5)" 29 32)
  ("(y 6)" 32 55)
  ("(y 5)" 55 59)
  ("(y 4)" 59 62)
  ("(y 3)" 62 67)
  ("(y 2)" 67 92)
  ("(y 3)" 92 96)
  ("(y 4)" 96 100)
  ("(y 5)" 100 105)
  ("(y 6)" 105 121)
  ("(y 5)" 121 126)
  ("(y 4)" 126 129)
  ("(y 3)" 129 133)
  ("(y 2)" 133 143)
  ("(y 1)" 143 157)
  ("(y stable)" 4 15)
  ("(y down)" 15 45)
  ("(y up)" 45 75)
  ("(y stable)" 75 77)
  ("(y up)" 77 84)
  ("(y down)" 84 114)
  ("(y up)" 114 152)
  ("(y stable)" 152 156)
  ("(y down)" 156 157)
 ))
(11
 (
  ("(x 6)" 3 40)
  ("(x 5)" 40 56)
  ("(x 4)" 56 64)
  ("(x 3)" 64 102)
  ("(x 2)" 102 113)
  ("(x 1)" 113 139)
  ("(x down)" 4 28)
  ("(x stable)" 28 29)
  ("(x up)" 29 73)
  ("(x stable)" 73 74)
  ("(x up)" 74 81)
  ("(x stable)" 81 93)
  ("(x up)" 93 129)
  ("(x stable)" 129 139)
  ("(y 1)" 3 20)
  ("(y 2)" 20 26)
  ("(y 3)" 26 28)
  ("(y 4)" 28 31)
  ("(y 5)" 31 34)
  ("(y 6)" 34 58)
  ("(y 5)" 58 62)
  ("(y 4)" 62 66)
  ("(y 3)" 66 70)
  ("(y 2)" 70 91)
  ("(y 3)" 91 94)
  ("(y 4)" 94 97)
  ("(y 5)" 97 101)
  ("(y 6)" 101 112)
  ("(y 5)" 112 116)
  ("(y 4)" 116 119)
  ("(y 3)" 119 121)
  ("(y 2)" 121 125)
  ("(y 1)" 125 139)
  ("(y stable)" 4 13)
  ("(y down)" 13 47)
  ("(y stable)" 47 49)
  ("(y up)" 49 80)
  ("(y stable)" 80 85)
  ("(y down)" 85 107)
  ("(y stable)" 107 108)
  ("(y up)" 108 134)
  ("(y stable)" 134 139)
 ))
(12
 (
  ("(x 6)" 3 37)
  ("(x 5)" 37 54)
  ("(x 4)" 54 64)
  ("(x 3)" 64 110)
  ("(x 2)" 110 118)
  ("(x 1)" 118 156)
  ("(x stable)" 4 13)
  ("(x up)" 13 77)
  ("(x stable)" 77 87)
  ("(x down)" 87 95)
  ("(x stable)" 95 97)
  ("(x up)" 97 129)
  ("(x stable)" 129 132)
  ("(x down)" 132 139)
  ("(x stable)" 139 145)
  ("(x down)" 145 152)
  ("(x stable)" 152 153)
  ("(x up)" 153 156)
  ("(y 1)" 3 10)
  ("(y 2)" 10 18)
  ("(y 3)" 18 22)
  ("(y 4)" 22 25)
  ("(y 5)" 25 29)
  ("(y 6)" 29 52)
  ("(y 5)" 52 57)
  ("(y 4)" 57 62)
  ("(y 3)" 62 72)
  ("(y 2)" 72 89)
  ("(y 3)" 89 94)
  ("(y 4)" 94 97)
  ("(y 5)" 97 102)
  ("(y 6)" 102 116)
  ("(y 5)" 116 121)
  ("(y 4)" 121 123)
  ("(y 3)" 123 126)
  ("(y 2)" 126 131)
  ("(y 1)" 131 156)
  ("(y stable)" 4 6)
  ("(y down)" 6 41)
  ("(y stable)" 41 43)
  ("(y up)" 43 79)
  ("(y stable)" 79 85)
  ("(y down)" 85 110)
  ("(y up)" 110 150)
  ("(y stable)" 150 152)
  ("(y down)" 152 156)
 ))
(13
 (
  ("(x 6)" 3 47)
  ("(x 5)" 47 56)
  ("(x 4)" 56 64)
  ("(x 3)" 64 115)
  ("(x 2)" 115 123)
  ("(x 1)" 123 151)
  ("(x stable)" 4 17)
  ("(x down)" 17 31)
  ("(x up)" 31 73)
  ("(x stable)" 73 75)
  ("(x up)" 75 82)
  ("(x stable)" 82 103)
  ("(x up)" 103 140)
  ("(x stable)" 140 149)
  ("(x up)" 149 151)
  ("(y 1)" 3 17)
  ("(y 2)" 17 24)
  ("(y 3)" 24 26)
  ("(y 4)" 26 29)
  ("(y 5)" 29 33)
  ("(y 6)" 33 59)
  ("(y 5)" 59 64)
  ("(y 4)" 64 68)
  ("(y 3)" 68 72)
  ("(y 2)" 72 98)
  ("(y 3)" 98 102)
  ("(y 4)" 102 105)
  ("(y 5)" 105 110)
  ("(y 6)" 110 122)
  ("(y 5)" 122 126)
  ("(y 4)" 126 129)
  ("(y 3)" 129 132)
  ("(y 2)" 132 136)
  ("(y 1)" 136 151)
  ("(y stable)" 4 13)
  ("(y down)" 13 47)
  ("(y stable)" 47 48)
  ("(y up)" 48 82)
  ("(y stable)" 82 92)
  ("(y down)" 92 116)
  ("(y stable)" 116 118)
  ("(y up)" 118 150)
  ("(y stable)" 150 151)
 ))
(14
 (
  ("(x 6)" 3 40)
  ("(x 5)" 40 64)
  ("(x 4)" 64 73)
  ("(x 3)" 73 119)
  ("(x 2)" 119 128)
  ("(x 1)" 128 157)
  ("(x up)" 4 5)
  ("(x stable)" 5 12)
  ("(x up)" 12 24)
  ("(x stable)" 24 26)
  ("(x up)" 26 86)
  ("(x stable)" 86 110)
  ("(x up)" 110 144)
  ("(x stable)" 144 157)
  ("(y 2)" 3 28)
  ("(y 3)" 28 32)
  ("(y 4)" 32 36)
  ("(y 5)" 36 41)
  ("(y 6)" 41 67)
  ("(y 5)" 67 72)
  ("(y 4)" 72 76)
  ("(y 3)" 76 81)
  ("(y 2)" 81 104)
  ("(y 3)" 104 107)
  ("(y 4)" 107 110)
  ("(y 5)" 110 115)
  ("(y 6)" 115 128)
  ("(y 5)" 128 132)
  ("(y 4)" 132 135)
  ("(y 3)" 135 137)
  ("(y 2)" 137 141)
  ("(y 1)" 141 157)
  ("(y stable)" 4 5)
  ("(y up)" 5 7)
  ("(y stable)" 7 15)
  ("(y down)" 15 56)
  ("(y stable)" 56 58)
  ("(y up)" 58 93)
  ("(y stable)" 93 96)
  ("(y down)" 96 122)
  ("(y stable)" 122 123)
  ("(y up)" 123 155)
  ("(y stable)" 155 156)
  ("(y down)" 156 157)
 ))
(15
 (
  ("(x 6)" 3 46)
  ("(x 5)" 46 65)
  ("(x 4)" 65 75)
  ("(x 3)" 75 121)
  ("(x 2)" 121 130)
  ("(x 1)" 130 162)
  ("(x stable)" 4 20)
  ("(x down)" 20 27)
  ("(x stable)" 27 34)
  ("(x up)" 34 52)
  ("(x stable)" 52 53)
  ("(x up)" 53 86)
  ("(x stable)" 86 99)
  ("(x down)" 99 106)
  ("(x stable)" 106 108)
  ("(x up)" 108 154)
  ("(x stable)" 154 162)
  ("(y 2)" 3 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 33)
  ("(y 5)" 33 37)
  ("(y 6)" 37 64)
  ("(y 5)" 64 70)
  ("(y 4)" 70 73)
  ("(y 3)" 73 77)
  ("(y 2)" 77 102)
  ("(y 3)" 102 105)
  ("(y 4)" 105 109)
  ("(y 5)" 109 115)
  ("(y 6)" 115 128)
  ("(y 5)" 128 135)
  ("(y 4)" 135 138)
  ("(y 3)" 138 141)
  ("(y 2)" 141 145)
  ("(y 1)" 145 162)
  ("(y stable)" 4 20)
  ("(y down)" 20 50)
  ("(y stable)" 50 53)
  ("(y up)" 53 88)
  ("(y stable)" 88 95)
  ("(y down)" 95 122)
  ("(y stable)" 122 123)
  ("(y up)" 123 156)
  ("(y stable)" 156 158)
  ("(y down)" 158 162)
 ))
(16
 (
  ("(x 6)" 3 47)
  ("(x 5)" 47 64)
  ("(x 4)" 64 71)
  ("(x 3)" 71 113)
  ("(x 2)" 113 127)
  ("(x 1)" 127 157)
  ("(x stable)" 4 23)
  ("(x down)" 23 30)
  ("(x stable)" 30 35)
  ("(x up)" 35 52)
  ("(x stable)" 52 53)
  ("(x up)" 53 83)
  ("(x stable)" 83 100)
  ("(x up)" 100 117)
  ("(x stable)" 117 118)
  ("(x up)" 118 140)
  ("(x stable)" 140 153)
  ("(x up)" 153 157)
  ("(y 2)" 3 29)
  ("(y 3)" 29 32)
  ("(y 4)" 32 35)
  ("(y 5)" 35 38)
  ("(y 6)" 38 66)
  ("(y 5)" 66 70)
  ("(y 4)" 70 73)
  ("(y 3)" 73 77)
  ("(y 2)" 77 100)
  ("(y 3)" 100 103)
  ("(y 4)" 103 105)
  ("(y 5)" 105 110)
  ("(y 6)" 110 123)
  ("(y 5)" 123 127)
  ("(y 4)" 127 129)
  ("(y 3)" 129 132)
  ("(y 2)" 132 136)
  ("(y 1)" 136 157)
  ("(y stable)" 4 23)
  ("(y down)" 23 52)
  ("(y stable)" 52 55)
  ("(y up)" 55 90)
  ("(y stable)" 90 93)
  ("(y down)" 93 116)
  ("(y stable)" 116 119)
  ("(y up)" 119 148)
  ("(y stable)" 148 153)
  ("(y down)" 153 157)
 ))
(17
 (
  ("(x 6)" 3 58)
  ("(x 5)" 58 68)
  ("(x 4)" 68 75)
  ("(x 3)" 75 108)
  ("(x 2)" 108 133)
  ("(x 1)" 133 163)
  ("(x stable)" 4 19)
  ("(x up)" 19 22)
  ("(x stable)" 22 26)
  ("(x down)" 26 35)
  ("(x stable)" 35 38)
  ("(x up)" 38 51)
  ("(x stable)" 51 54)
  ("(x up)" 54 85)
  ("(x stable)" 85 96)
  ("(x up)" 96 153)
  ("(x stable)" 153 163)
  ("(y 2)" 3 27)
  ("(y 3)" 27 31)
  ("(y 4)" 31 34)
  ("(y 5)" 34 38)
  ("(y 6)" 38 65)
  ("(y 5)" 65 70)
  ("(y 4)" 70 74)
  ("(y 3)" 74 77)
  ("(y 2)" 77 84)
  ("(y 1)" 84 98)
  ("(y 2)" 98 105)
  ("(y 3)" 105 108)
  ("(y 4)" 108 112)
  ("(y 5)" 112 117)
  ("(y 6)" 117 133)
  ("(y 5)" 133 137)
  ("(y 4)" 137 140)
  ("(y 3)" 140 143)
  ("(y 2)" 143 147)
  ("(y 1)" 147 163)
  ("(y stable)" 4 19)
  ("(y down)" 19 51)
  ("(y stable)" 51 55)
  ("(y up)" 55 88)
  ("(y stable)" 88 96)
  ("(y down)" 96 126)
  ("(y stable)" 126 128)
  ("(y up)" 128 159)
  ("(y stable)" 159 160)
  ("(y down)" 160 163)
 ))
(18
 (
  ("(x 6)" 3 45)
  ("(x 5)" 45 56)
  ("(x 4)" 56 62)
  ("(x 3)" 62 95)
  ("(x 2)" 95 113)
  ("(x 1)" 113 139)
  ("(x down)" 4 6)
  ("(x stable)" 6 21)
  ("(x down)" 21 31)
  ("(x up)" 31 73)
  ("(x stable)" 73 90)
  ("(x up)" 90 125)
  ("(x stable)" 125 139)
  ("(y 1)" 3 21)
  ("(y 2)" 21 26)
  ("(y 3)" 26 28)
  ("(y 4)" 28 31)
  ("(y 5)" 31 34)
  ("(y 6)" 34 58)
  ("(y 5)" 58 61)
  ("(y 4)" 61 64)
  ("(y 3)" 64 67)
  ("(y 2)" 67 86)
  ("(y 3)" 86 89)
  ("(y 4)" 89 93)
  ("(y 5)" 93 100)
  ("(y 6)" 100 108)
  ("(y 5)" 108 114)
  ("(y 4)" 114 118)
  ("(y 3)" 118 121)
  ("(y 2)" 121 125)
  ("(y 1)" 125 139)
  ("(y up)" 4 5)
  ("(y stable)" 5 17)
  ("(y down)" 17 47)
  ("(y up)" 47 75)
  ("(y stable)" 75 77)
  ("(y down)" 77 105)
  ("(y stable)" 105 106)
  ("(y up)" 106 136)
  ("(y stable)" 136 139)
 ))
(19
 (
  ("(x 6)" 3 39)
  ("(x 5)" 39 56)
  ("(x 4)" 56 65)
  ("(x 3)" 65 103)
  ("(x 2)" 103 113)
  ("(x 1)" 113 143)
  ("(x stable)" 4 26)
  ("(x up)" 26 74)
  ("(x stable)" 74 95)
  ("(x up)" 95 128)
  ("(x down)" 128 135)
  ("(x stable)" 135 143)
  ("(y 1)" 3 21)
  ("(y 2)" 21 26)
  ("(y 3)" 26 28)
  ("(y 4)" 28 31)
  ("(y 5)" 31 35)
  ("(y 6)" 35 58)
  ("(y 5)" 58 63)
  ("(y 4)" 63 66)
  ("(y 3)" 66 68)
  ("(y 2)" 68 73)
  ("(y 1)" 73 86)
  ("(y 2)" 86 90)
  ("(y 3)" 90 92)
  ("(y 4)" 92 95)
  ("(y 5)" 95 100)
  ("(y 6)" 100 116)
  ("(y 5)" 116 120)
  ("(y 4)" 120 123)
  ("(y 3)" 123 125)
  ("(y 2)" 125 129)
  ("(y 1)" 129 143)
  ("(y stable)" 4 18)
  ("(y down)" 18 45)
  ("(y stable)" 45 49)
  ("(y up)" 49 78)
  ("(y stable)" 78 82)
  ("(y down)" 82 109)
  ("(y stable)" 109 110)
  ("(y up)" 110 137)
  ("(y stable)" 137 141)
  ("(y down)" 141 143)
 ))
(20
 (
  ("(x 6)" 3 57)
  ("(x 5)" 57 67)
  ("(x 4)" 67 74)
  ("(x 3)" 74 109)
  ("(x 2)" 109 123)
  ("(x 1)" 123 155)
  ("(x stable)" 4 8)
  ("(x up)" 8 15)
  ("(x stable)" 15 31)
  ("(x down)" 31 38)
  ("(x stable)" 38 46)
  ("(x up)" 46 82)
  ("(x stable)" 82 86)
  ("(x up)" 86 93)
  ("(x stable)" 93 101)
  ("(x up)" 101 140)
  ("(x stable)" 140 154)
  ("(x up)" 154 155)
  ("(y 1)" 3 29)
  ("(y 2)" 29 34)
  ("(y 3)" 34 37)
  ("(y 4)" 37 39)
  ("(y 5)" 39 43)
  ("(y 6)" 43 70)
  ("(y 5)" 70 76)
  ("(y 4)" 76 79)
  ("(y 3)" 79 84)
  ("(y 2)" 84 100)
  ("(y 3)" 100 104)
  ("(y 4)" 104 107)
  ("(y 5)" 107 114)
  ("(y 6)" 114 124)
  ("(y 5)" 124 129)
  ("(y 4)" 129 132)
  ("(y 3)" 132 135)
  ("(y 2)" 135 139)
  ("(y 1)" 139 155)
  ("(y stable)" 4 8)
  ("(y up)" 8 18)
  ("(y stable)" 18 24)
  ("(y down)" 24 57)
  ("(y stable)" 57 59)
  ("(y up)" 59 91)
  ("(y stable)" 91 95)
  ("(y down)" 95 119)
  ("(y stable)" 119 121)
  ("(y up)" 121 154)
  ("(y stable)" 154 155)
 ))
(21
 (
  ("(x 6)" 3 43)
  ("(x 5)" 43 59)
  ("(x 4)" 59 65)
  ("(x 3)" 65 108)
  ("(x 2)" 108 121)
  ("(x 1)" 121 152)
  ("(x stable)" 4 22)
  ("(x up)" 22 47)
  ("(x stable)" 47 48)
  ("(x up)" 48 76)
  ("(x stable)" 76 97)
  ("(x up)" 97 134)
  ("(x stable)" 134 146)
  ("(x up)" 146 152)
  ("(y 1)" 3 22)
  ("(y 2)" 22 28)
  ("(y 3)" 28 31)
  ("(y 4)" 31 33)
  ("(y 5)" 33 37)
  ("(y 6)" 37 60)
  ("(y 5)" 60 65)
  ("(y 4)" 65 69)
  ("(y 3)" 69 73)
  ("(y 2)" 73 92)
  ("(y 3)" 92 95)
  ("(y 4)" 95 98)
  ("(y 5)" 98 103)
  ("(y 6)" 103 119)
  ("(y 5)" 119 123)
  ("(y 4)" 123 126)
  ("(y 3)" 126 129)
  ("(y 2)" 129 133)
  ("(y 1)" 133 152)
  ("(y stable)" 4 20)
  ("(y down)" 20 48)
  ("(y stable)" 48 51)
  ("(y up)" 51 83)
  ("(y stable)" 83 84)
  ("(y down)" 84 111)
  ("(y stable)" 111 113)
  ("(y up)" 113 142)
  ("(y stable)" 142 148)
  ("(y down)" 148 152)
 ))
(22
 (
  ("(x 6)" 3 51)
  ("(x 5)" 51 63)
  ("(x 4)" 63 76)
  ("(x 3)" 76 92)
  ("(x 4)" 92 101)
  ("(x 3)" 101 113)
  ("(x 2)" 113 119)
  ("(x 1)" 119 154)
  ("(x stable)" 4 16)
  ("(x down)" 16 23)
  ("(x stable)" 23 32)
  ("(x up)" 32 39)
  ("(x stable)" 39 42)
  ("(x up)" 42 49)
  ("(x stable)" 49 51)
  ("(x up)" 51 80)
  ("(x stable)" 80 89)
  ("(x down)" 89 96)
  ("(x stable)" 96 99)
  ("(x up)" 99 132)
  ("(x stable)" 132 154)
  ("(y 1)" 3 25)
  ("(y 2)" 25 29)
  ("(y 3)" 29 32)
  ("(y 4)" 32 34)
  ("(y 5)" 34 38)
  ("(y 6)" 38 62)
  ("(y 5)" 62 68)
  ("(y 4)" 68 72)
  ("(y 3)" 72 76)
  ("(y 2)" 76 92)
  ("(y 3)" 92 95)
  ("(y 4)" 95 98)
  ("(y 5)" 98 102)
  ("(y 6)" 102 118)
  ("(y 5)" 118 122)
  ("(y 4)" 122 125)
  ("(y 3)" 125 128)
  ("(y 2)" 128 142)
  ("(y 1)" 142 154)
  ("(y stable)" 4 16)
  ("(y down)" 16 49)
  ("(y stable)" 49 50)
  ("(y up)" 50 86)
  ("(y stable)" 86 87)
  ("(y down)" 87 111)
  ("(y up)" 111 137)
  ("(y stable)" 137 141)
  ("(y up)" 141 148)
  ("(y stable)" 148 150)
  ("(y down)" 150 154)
 ))
